Inclusion–exclusion principle